conditional adj. 1.帶有條件的,有限制的;視…而定的。 2.【語法】條件的,假設的。 3.引起條件反射的。 n. 【語法】條件子句,條件詞。 be conditional on [upon] 在…條件下,以…為條件,取決于。 n. -ity 受限制性,有條件性,制約性;條件限制。 adv. -ly
reference n. 1.(對委員、審查人等的)委托;委托項目[范圍]。 2.說到,論到,提到。 3.參考;參考書;附注,引證;基準,依據(jù);關系。 4.(關于人品、能力等的)查詢,咨詢,詢商;可供查問的人;證明人,介紹人;(身份、能力等的)證明書,介紹書,服務經(jīng)歷,鑒定書。 5.參看符號〔如 asterisk[*e], obelisk ?, section§, parallel‖, paragraph π等〕 (=reference marks)。 the commission's terms of reference 委員會的職權。 R- was made to me. 提到了我;所指的是我。 You make no reference to your plan in your letter. 你信里沒有提到你的計劃。 a book of reference=a reference book 參考書。 Who are your references 你的證明人都是誰? bear reference to =have reference to. give a reference to 提到,介紹。 have reference to 和…有關系。 in reference to 關于。 load one's pages with references (在著作中)引用大量參考資料[文獻]。 make reference to 說到,涉及,提到;參考;查問;介紹。 with reference to 關于。 without reference to 不管,不論(without reference to age or sex 無論男女老少)。 vt. 加注,附加注腳;給(書等)列出參考書目[注明資料來源]。
Abstract : for a precise dataflow analysis within the framework of the computation function model , the logical relationship of branch conditions is represented as the coverage relationship of regions . in this paper , the authors discuss how to represent , compute and propagate the region , region of the conditional reference . meanwhile , the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information 文摘:用計算函數(shù)模型進行精確的數(shù)據(jù)流分析,條件謂詞之間的邏輯關系被轉(zhuǎn)化為空間區(qū)域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區(qū)域、區(qū)域,并在數(shù)據(jù)流分析過程中,利用區(qū)域、區(qū)域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數(shù)據(jù)流信息